University of Birmingham

Results: 2922



#Item
271

Paving the way for electoral reform Ben Smyth and Mark Ryan Formal Verification and Security Group, School of Computer Science, University of Birmingham May 19, 2010

Add to Reading List

Source URL: www.bensmyth.com

Language: English - Date: 2012-09-26 05:08:01
    272

    StatVerif: Verification of Stateful Processes Myrto Arapinis Joshua Phillips Eike Ritter Mark D. Ryan {m.d.arapinis, e.ritter, j.phillips, m.d.ryan}@cs.bham.ac.uk School of Computer Science, University of Birmingham, UK

    Add to Reading List

    Source URL: www.cs.bham.ac.uk

    Language: English - Date: 2013-12-10 12:35:05
      273

      Cloud computing security: the scientific challenge, and a survey of solutions Mark D. Ryan University of Birmingham January 28, 2013 Abstract

      Add to Reading List

      Source URL: www.cs.bham.ac.uk

      Language: English - Date: 2014-11-11 06:12:58
        274

        Joint Birmingham–Warwick Combinatorics seminar, March 6th Short talk 1: Lecture Room C, Watson Building 1.30–2pm Deciding the Bell number for hereditary graph classes Jan Foniok (University of Warwick) The speed of a

        Add to Reading List

        Source URL: web.mat.bham.ac.uk

        Language: English - Date: 2014-02-24 14:05:18
          275

          Analysis of a Biometric Authentication Protocol for Signature Creation Application A. Salaiwarakul and M.D.Ryan School of Computer Science, University of Birmingham, UK {A.Salaiwarakul, M.D.Ryan}@cs.bham.ac.uk

          Add to Reading List

          Source URL: www.cs.bham.ac.uk

          Language: English - Date: 2009-07-24 09:49:57
            276

            Anonymity with Identity Escrow Aybek Mukhamedov and Mark Ryan The University of Birmingham March 30, 2006

            Add to Reading List

            Source URL: www.cs.bham.ac.uk

            Language: English - Date: 2010-03-26 10:05:33
              277

              In: Journal of Logic, Language and Information, Counterfactuals and updates as inverse modalities Mark Ryan School of Computer Science. University of Birmingham, Birmingham B15 2TT,

              Add to Reading List

              Source URL: www.cs.bham.ac.uk

              Language: English - Date: 2009-02-25 10:35:19
                278

                Synthesising Verified Access Control Systems in XACML Nan Zhang School of Computer Science University of Birmingham Birmingham, UK, B15 2TT

                Add to Reading List

                Source URL: www.cs.bham.ac.uk

                Language: English - Date: 2009-02-25 10:33:24
                  279

                  Applied pi calculus∗ Mark D. Ryan and Ben Smyth School of Computer Science, University of Birmingham, United Kingdom July 2010

                  Add to Reading List

                  Source URL: www.bensmyth.com

                  Language: English - Date: 2013-03-13 07:17:19
                    280

                    Towards a Sybil-resilient reputation metric for P2P applications Tien Tuan Anh Dinh, Mark Ryan School of Computer Science, University of Birmingham, United Kingdom {ttd,mdr}@cs.bham.ac.uk Abstract In this paper, we propo

                    Add to Reading List

                    Source URL: www.cs.bham.ac.uk

                    Language: English - Date: 2009-04-30 08:46:38
                      UPDATE